Eksklusiivinen disjunktio

Lausetta ${\displaystyle \scriptstyle A\oplus B}$ vastaava Venn-diagrammi mutta ei on

Lausetta ${\displaystyle \scriptstyle A\oplus B\oplus C}$ vastaava Venn-diagrammi ${\displaystyle ~\oplus ~}$ ${\displaystyle ~\Leftrightarrow ~}$

Eksklusiivinen disjunktio eli eksklusiivinen tai on looginen konnektiivi, jolla muodostettu yhdistetty lause on tosi, jos ja vain jos yhdistettävillä lauseilla on eri totuusarvot (toinen on tosi ja toinen epätosi). Sen merkkinä käytetään etuliitettä J tai lauseiden väliin merkittyä operaattoria XOR, EOR, EXOR, ⊻, ⊕, ↮ tai ≢. Eksklusiivisen disjunktion negaatio on lauseiden looginen ekvivalenssi, joka on tosi, jos ja vain jos molemmilla lauseilla on sama totuusarvo.

Eksklusiivinen disjunktio vastaa tavanomaisen kielen ilmaisua "joko... tai... mutta ei molemmat". Myös sanaa tai käytetään usein vastaavassa merkityksessä. Määritettä eksklusiivinen eli poissulkeva käytetään, koska sanan "tai" merkitys tavanomaisessa kielessä ei ole yksiselitteinen, kun molemmat lauseet ovat tosia. Eksklusiivinen disjunktio sulkee pois tämän mahdollisuuden, toisin kuin propositio­logiikassa yleisemmin käytetty inklusiivinen disjunktio, joka on tosi myös, jos molemmat lauseet ovat tosia.

Kun eksklusiivisella disjunktiolla yhdistetään useampia kuin kaksi lausetta, yhdistetty lause on tosi vain, jos yhdistettävistä lauseista pariton määrä on tosia. Niinpä lause a XOR b XOR c XOR d on tosi, jos lauseista a, b, c ja d pariton määrä on tosia, ja epätosi, jos niistä parillinen määrä on tosia.

Elektroniikassa ja tietotekniikassa eksklusiivista disjunktiota vastaava looginen portti on XOR-portti.